Abstraction and reformulation in artificial intelligence

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abstraction and reformulation in artificial intelligence.

This paper contributes in two ways to the aims of this special issue on abstraction. The first is to show that there are compelling reasons motivating the use of abstraction in the purely computational realm of artificial intelligence. The second is to contribute to the overall discussion of the nature of abstraction by providing examples of the abstraction processes currently used in artificia...

متن کامل

A grounded theory of abstraction in artificial intelligence.

In artificial intelligence, abstraction is commonly used to account for the use of various levels of details in a given representation language or the ability to change from one level to another while preserving useful properties. Abstraction has been mainly studied in problem solving, theorem proving, knowledge representation (in particular for spatial and temporal reasoning) and machine learn...

متن کامل

Artificial Intelligence in Healthcare

The article is a letter to the editor, so it has no abstract.

متن کامل

Artificial Intelligence in Healthcare

The article is a letter to the editor, so it has no abstract.

متن کامل

The Abstraction/Implementation Model of Problem Reformulation

ion Space The definition of an implementation link is as a representation map from an abstract theory to a concrete theory, wi th an abstraction function for mapping concrete objects to abstract objects. The diagram below shows an implementation link between bags and lists, where the abstract theory of bags and the concrete theories of lists are axiomatized using equational logic. Abstraction M...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences

سال: 2003

ISSN: 0962-8436,1471-2970

DOI: 10.1098/rstb.2003.1317